function enter(pi) {
	pi.playPortalSound();
        pi.warp(900090102, 0);
	return true;
}